ordered algebra structure

[数] 有序代数结构